In 2001, Le Bars proved that there exists an existential monadic second-order sentence such that the probability that it is true on [Formula: see text] does not converge and conjectured that, for EMSO sentences with two first-order variables, the zero–one law holds. In this paper, we prove that the conjecture fails for [Formula: see text], and give new examples of sentences with fewer variables without convergence.

Our sense of self includes awareness of our thoughts and movements, and our control over them. This feeling can be altered or lost in neuropsychiatric disorders as well as in phenomena such as “automatic writing” whereby writing is attributed to an external source. Here, we employed suggestion in highly hypnotically suggestible participants to model various experiences of automatic writing during a sentence completion task. Results showed that the induction of hypnosis, without additional suggestion, was associated with a small but significant (...) reduction of control, ownership, and awareness for writing. Targeted suggestions produced a double dissociation between thought and movement components of writing, for both feelings of control and ownership, and additionally, reduced awareness of writing. Overall, suggestion produced selective alterations in the control, ownership, and awareness of thought and motor components of writing, thus enabling key aspects of automatic writing, observed across different clinical and cultural settings, to be modelled. (shrink)

The Birkhoff-Maltsev problem asks for a characterization of those lattices each of which is isomorphic to the lattice L(K) of all subquasivarieties for some quasivariety K of algebraic systems. The current status of this problem, which is still open, is discussed. Various unsolved questions that are related to the Birkhoff-Maltsev problem are also considered, including ones that stem from the theory of propositional logics.

We show that the analysis of Keisler’s order can be localized to the study of φ-types. Specifically, if is a regular ultrafilter on λ such that and M is a model whose theory is countable, then is λ+-saturated iff it realizes all φ-types of size λ.

The relevance of the research is the intensity of noise emitted by lorries depends on the regime of the vehicle movement. One of the main negative factors caused by road vehicles is air pollution with exhaust gases. The article presents results for noise caused by lorries and gas usage while the vehicle is accelerating. The subject of the study is 4 lorries, and they also feature fuel recording systems which are less than 5 years old. Research methodology. The level of (...) noise emitted by heavyweight transport vehicles is measured according to Lithuanian standard LST ISO 1996-2:2008 requirements. During the tests the noise levels of L A,eq, L C,eq, L C,peak were measured. The tests were done 5 times each and the results are presented as arithmetical averages. Fuel consumption is registered in vehicle data registration system. The researched vehicles have to comply with environmental safety normative requirements; that the vehicle carbon monoxide, particulate matter, nitrogen oxides, unburned fuel and other hazardous substances contained in the combustion gases must not exceed the prescribed limits. The results of the experimental studies show that EURO6 lorries noise level is the lowest compared to the EURO4 and EURO5. After carrying out the analysis of the caused noise and gas usage, it was found that noise pollution and gas usage are higher without speed control system. The noise caused by lorries can be described in square polynomial which defines the noise inclination change while vehicle is accelerating. Scientific novelty of the research a complex research on noise and fuel consumption of lorries by using and not using speed control system. Research idea and problem is to achieve sustainable transport development objectives, in particular the reduction of greenhouse gas emissions under the Kyoto Protocol. It is very important to find ways to forecast and reduce transport noise pollution, while also reducing overall pollution, as well as mitigating the impact on the global climate., Conclusion – after conducting a lorry noise and fuel consumption analysis, it was determined that not using speed control system increases the noise and fuel consumption and if the system is used both of these factors decrease drastically. (shrink)

Interactions entail a tangled mix of emotional states that emerge between the people who are communicating. Being capable of comprehending these states help us to adapt to our partner’s needs enhancing the interaction. In the same fashion, we believe that robots capable of such skills would be better integrated in society. Hence, this paper tackles the internal state that focuses on the unfolding of any social exchange: Comfortability. It explores whether a humanoid robot can have an impact on humans Comfortability (...) and explores the way people might behave. To this aim, the iCub robot interviewed 29 non-HRI researchers for a real column of the IIT Opentalk online magazine. During the interview the robot complimented, ignored, interrupted, and insulted the participant with the intention of making them feel opposite Comfortability levels. The results concluded that a humanoid robot can affect people’s Comfortability highlighting that not everyone perceives, assimilates, and reacts to the same situations in the same way. The findings suggest that self-reports and Valence/Arousal estimations are not reliable measures to determine someone’s Comfortability and that external factors (e.g., attitude towards robots or the robot’s perception) might affect it. On top of that, a list of 28 visual features associated with low Comfortability levels is included, providing support to keep unraveling Comfortability in further studies. (shrink)

_Zettel, _ an en face bilingual edition, collects fragments from Wittgenstein's work between 1929 and 1948 on issues of the mind, mathematics, and language.